Optimization problems and the polynomial hierarchy
نویسندگان
چکیده
منابع مشابه
On the Lasserre Hierarchy of Semidefinite Programming Relaxations of Convex Polynomial Optimization Problems
The Lasserre hierarchy of semidefinite programming approximations to convex polynomial optimization problems is known to converge finitely under some assumptions. [J.B. Lasserre. Convexity in semialgebraic geometry and polynomial optimization. SIAM J. Optim. 19, 1995–2014, 2009.] We give a new proof of the finite convergence property, that does not require the assumption that the Hessian of the...
متن کاملPolynomial Optimization Problems are Eigenvalue Problems
Abstract Many problems encountered in systems theory and system identification require the solution of polynomial optimization problems, which have a polynomial objective function and polynomial constraints. Applying the method of Lagrange multipliers yields a set of multivariate polynomial equations. Solving a set of multivariate polynomials is an old, yet very relevant problem. It is little k...
متن کاملBPP and the Polynomial Hierarchy
We start with some definitions about probabilistic Turing machines (for a detailed exposition of this subject the reader is referred to [2]). Our basic model of computation is the Turing machine with input alphabet S z (0, l}. All machines are assumed to have two terminal states, namely q0 (reject) and 9, (accept). A probabilistic Turing machine (PTM) is syntactically the same as a nondetermini...
متن کاملThe Promise Polynomial Hierarchy
The polynomial hierarchy is a grading of problems by difficulty, including P, NP and coNP as the best known classes. The promise polynomial hierarchy is similar, but extended to include promise problems. It turns out that the promise polynomial hierarchy is considerably simpler to work with, and many open questions about the polynomial hierarchy can be resolved in the promise polynomial hierarc...
متن کاملPolynomial-Length Planning Spans the Polynomial Hierarchy
This paper presents a family of results on the computational complexity of the decision problem associated with planning: Does a valid plan exist? We consider the effect on complexity of several assumptions typical of classical planning: complete knowledge of the initial state, determinism, polynomial-time determination of executability of actions in a state. We consider plans of two types: con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1981
ISSN: 0304-3975
DOI: 10.1016/0304-3975(81)90082-7